home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Night Owl 6
/
Night Owl's Shareware - PDSI-006 - Night Owl Corp (1990).iso
/
016a
/
gofer221.zip
/
MLAMLIFT
< prev
next >
Wrap
Text File
|
1991-11-20
|
550b
|
13 lines
-- A simple project file for the modular fully-lazy lambda lifter
--
-- Load into Gofer interpreter using the command: :p mlamlift
-- or from command line using: gofer + mlamlift
--
-- See Readme file for further details.
Utility -- implementation of utility functions and datatypes
LambdaLift -- simple lambda lifter.
Laziness -- transformations for fully-lazy lambda lifting.
../prolog/Parse -- the parser library from the mini Prolog system
Demo -- demonstration of lamda lifting